Wyniki
-
The quarrel theorem - First attempt to the Logic of Lie
B. Majcher
Bulletin of the Section of Logic , 19 /4 (1990) s. 139-146 -
Matrix representations for structural strengthenings of a propositional logic
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 72-78 -
Strongly finie logics: Finite axiomatizability and the problem of supremum
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 99-111 -
A new proof of structural completeness of Lukasiewicz's logic
piotr Wojtylak
Bulletin of the Section of Logic , 5 /4 (1976) s. 145-150 -
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus
Piotr Wojtylak
Bulletin of the Section of Logic , 5 /4 (1976) s. 153-156 -
Modal interpretation of Heyting-Brouwer logic
Piotr Łukowski
Bulletin of the Section of Logic , 25 /2 (1996) s. 80-83 -
A reductive approach to L-decidability
Piotr Łukowski
Bulletin of the Section of Logic , 28 /3 (1999) s. 171-177 -
A syntactical characterization of structural completeness for implicational logics
Piotr Wojtylak
Bulletin of the Section of Logic , 19 /1 (1990) s. 2-9 -
Intuitionistic sentential calculus with identity
Piotr Łukowski
Bulletin of the Section of Logic , 19 /3 (1990) s. 92-99 -
Intuitionistic sentential calculus with classical identity
Piotr Łukowski
Bulletin of the Section of Logic , 19 /4 (1990) s. 147-150 -
Matrix-frame semantics for ISCI and INT
Piotr Łukowski
Bulletin of the Section of Logic , 21 /4 (1992) s. 156-162 -
Many-sequent first order predicate logic
Piotr Borowik
Bulletin of the Section of Logic , 22 /1 (1993) s. 4-8 -
Three semantics for Intuitionistic Sentential Calculus with Identity
Piotr Łukowski
Bulletin of the Section of Logic , 22 /1 (1993) s. 24-27 -
Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems
Piotr Łukowski
Bulletin of the Section of Logic , 32 /3 (2003) s. 147-159 -
Professor Hiroakira ono in honorem
Piotr Łukowski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 99-102 -
Epistemicism and Roy Sorensen Arguments
Piotr Łukowski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 209-219 -
Hallden Incomplete Calculus of Names
Piotr Kulicki
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 53-55 -
On a Minimal System of Aristotle's Syllogistic
Piotr Kulicki
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 129-145 -
A Note on the Adequacy of Jerzy Kalinowski's K1 Logic
Piotr Kulicki
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 183-190 -
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics
Piotr S. Krzystek
Bulletin of the Section of Logic , 9 /4 (1980) s. 170-175